$\forall$$a$:$\mathbb{Z}$. divides($a$; $a$)